package acptTests;
import junit.framework.*;

public class AllTests {
    public static Test suite(){
        TestSuite suite= new TestSuite("InteractiveForum");
        
        System.out.println(">>> TESTING: Functionality");
        suite.addTest(new TestSuite(FunctionalityTest.class));
        
        System.out.println(">>> TESTING: Correctness");
        suite.addTest(new TestSuite(CorrectnessTest.class));
        
        System.out.println(">>> TESTING: DB");
        suite.addTest(new TestSuite(DBTest.class));
        
        System.out.println(">>> TESTING: policy");
        suite.addTest(new TestSuite(PolicyTest.class));
        
        System.out.println(">>> TESTING: Permissions");
        suite.addTest(new TestSuite(PermissionsTest.class));
          
        System.out.println(">>> TESTING: Torture");
        suite.addTest(new TestSuite(TortureTest.class));
        
        System.out.println("");
        return suite;
    }


}

